Самая большая электронная библиотека рунета. Поиск книг и журналов

Automata, Languages and Programming, Part I - ICALP 2011

Автор: , Автор: , Автор:
Размер книги: 8.05 Mb

Automata, Languages and Programming, Part II - ICALP 2011

Автор: , Автор: , Автор:
Размер книги: 6.56 Mb

Computer Science Logic, 21 conf., CSL 2007

Автор: , Автор:
Размер книги: 6.02 Mb

Computer Aided Verification, 8 conf., CAV '96

Автор: , Автор:
Размер книги: 5.09 Mb

Handbook of Networked and Embedded Control Systems

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 5.55 Mb

Handbook of Networked and Embedded Control Systems

Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: Engineering
Размер книги: 13.08 Mb

Hybrid Systems III: Verification and Control: No. 3

Автор: , Автор: , Автор:
Размер книги: 5.84 Mb